data Pair a b = Pair a b